import java.util.ArrayList;


public interface tree {
	
	//add alert to current node
	public void addPostcondition(Alert newAlert);
	
	//add alert to specific node
	public void addPostConditionTo(Alert newAlert, String specificAlertName);
	
	public Alert getParent();
	
	//return alert
	public Alert getNode();
	
	public ArrayList<AlertTree> getChildren();
	
	//to print in GraphViz format
	public void toDot();

}
